Nuprl Definition : Rframe 11,40
Rframe(loc; T; x; L) == inr inr inr (inl <loc, T, x, L> )    
latex

Definitionsinr x , inl x , <a, b>
FDL editor aliasesRframe, Rframe

origin